|
Joseph Yehuda Halpern (born 1953) is a professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty. Halpern graduated in 1975 from University of Toronto with a B.S. in mathematics. He went on to earn a Ph.D. in mathematics from Harvard University in 1981 under the supervision of Albert R. Meyer and Gerald Sacks. He has written two books, ''Reasoning about Uncertainty'' and ''Reasoning About Knowledge'' and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in distributed computing. From 1997 to 2003 he was editor-in-chief of the Journal of the ACM. In 2002 he was inducted as a Fellow of the Association for Computing Machinery and in 2012 he was selected as an IEEE Fellow.〔(2012 Newly Elevated Fellows ), IEEE, accessed 2011-12-10.〕 In 2011 he was awarded a Senior Fellowship of the Zukunftskolleg at the University of Konstanz.〔https://www.zukunftskolleg.uni-konstanz.de/people/personen-details/halpern-joseph-y-1187/6338/13775/〕 Halpern is also the administrator for the Computing Research Repository, the computer science branch of arXiv.org, and the moderator for the "general literature" and "other" subsections of the repository.〔(Subject areas and moderators ), arxiv.org.〕 His students include Nir Friedman, Daphne Koller, and Yoram Moses. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Joseph Halpern」の詳細全文を読む スポンサード リンク
|